Constraint Logic Programming: a Programming Approach to Teaching the Semantics of Logic *
نویسنده
چکیده
The problem of teaching the notion of logical consequence is discussed, and a solution proposed. The essential idea is to make concrete the abstract notion of interpretation through computer programs. Constraint Logic Programming appears to meet this idea nicely.
منابع مشابه
A Fast and Self-Repairing Genetic Programming Designer for Logic Circuits
Usually, important parameters in the design and implementation of combinational logic circuits are the number of gates, transistors, and the levels used in the design of the circuit. In this regard, various evolutionary paradigms with different competency have recently been introduced. However, while being advantageous, evolutionary paradigms also have some limitations including: a) lack of con...
متن کاملStable models and an alternative logic programming paradigm
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming styles of Horn logic programming, stratified lo...
متن کاملUse of a mixed integer programming model to achieve an optimum size of blast block in open-pit mining with regard to size of mineable block using fuzzy logic approach
In this paper, we present an integrated model to find the optimum size of blast block that uses (i) a multi-criteria decision-making method to specify the applicable size of the mineable block; (ii) a linear programming method for the selection of the blasted areas to be excavated and in deciding the quantity of ores and wastes to be mined from each one of the selected blocks. These two methods...
متن کاملConstraint Answer Set Programming Systems
We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a very early stage, we motivate constraint answer set programming and report on related work, our research objectives, preliminary results we achieved, and future work.
متن کاملTwo Semantics for Timed Default Concurrent Constraint Programming 1
In this paper we present a general approach to give semantics of synchronous languages. By applying this approach, we deene two semantics for Timed Default Concurrent Constraint Programming.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007